Inheritance of behavior

نویسندگان

  • Twan Basten
  • Wil M. P. van der Aalst
چکیده

One of the key issues of object-oriented modeling and design is inheritance. It allows for the definition of subclasses that inherit features of some superclass. Inheritance is well defined for static properties of classes such as attributes and methods. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, captured by their life cycles. This paper studies inheritance of behavior both in a simple process-algebraic setting and in a Petri-net framework. Process algebra is chosen, because it concentrates on behavior, while abstracting from the internal states of processes. The result of the algebraic study is a clear conceptual understanding of inheritance of behavior. It can be expressed in terms of blocking and hiding method calls. The results in the algebraic framework inspire the development of the concept of inheritance of behavior in the Petri-net framework. The Petri-net formalism allows for a graphical representation of life cycles of objects with an explicit representation of object states. In the Petri-net framework, four inheritance rules are defined that can be used to construct life cycles of subclasses from the object life cycles of given (super-)classes. These inheritance rules can be used to structure a design process and they stimulate the reuse of life-cycle specifications. It turns out that the combination of blocking and hiding method calls captures a number of important operators for constructing life cycles of subclasses from life cycles of superclasses, namely choice, sequential composition, parallel composition, and iteration. A small case study validates our approach to inheritance of behavior.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inheritance of Consumer Behavior: Providing a Model for Improving Banking Services Based on Meme Theory with Emphasis on Ethical Components

Background: Meme is a hereditary theory and an idea, behavior, or method that is transmitted from one person to another through culture. Inheritance theories differ in the degree of adaptation and capability, that is, adaptation to the socio-cultural environment in which they are spread. More adaptable and more capable memes will be more successful in transmitting, spreading to more people, and...

متن کامل

An analytical study on differences of fariqain on Divine messengers` inheritance in Quran

Some verses of Quran, including the sixteenth of Naml and the sixth of Maryam, have clearly referred to messengers` inheritance. The subject has been viewed differently by Sunni and Shiite commentators. Two hypotheses can be presented in the field, one knowing them as usual men and the other as those of higher degree for God. On the former one can speak of their inheritance. They inherit and le...

متن کامل

INHERITANCE OF HYPOCOTYL COLOUR AND PUBESCENCE IN MUNGBEAN (VIGNA RADIATA (L.) WILCZEK)

The mode of inheritance of seedling color and plant pubescence was studied in two crosses among three parents, which differed for these traits. The results have revealed that purple seedling color was dominant over green seedling color and pubescence was dominant over nonpubescence. These two traits segregated independently of each other may be used as morphological markers individually for dif...

متن کامل

Mitochondrial DNA Mutations, Pathogenicity and Inheritance

Mitochondria contain their own DNA (mtDNA), which codes for 13 proteins (all subunits of the respiratory chain complexes), 22 tRNAs and 2 rRNAs. Several mtDNA point mutations as well as deletions have been shown to be causative in well-defined mitochondrial disorders. A mixture of mutated and wild type mtDNA (heteroplasmy) is found in most of these disorders. Inheritance of mtDNA is maternal, a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • J. Log. Algebr. Program.

دوره 47  شماره 

صفحات  -

تاریخ انتشار 2001